Static Analysis: An Introduction

نویسندگان

چکیده

Modern static-analysis tools provide powerful and specific insights into codebases. The Linux kernel team, for example, developed Coccinelle, a tool searching, analyzing, rewriting C source code; because the contains more than 27 million lines of code, is essential both finding bugs making automated changes across its many libraries modules. Another targeted at family languages Clang scan-build, which comes with useful analyses provides an API programmers to write their own analyses. Like so things in computer science, utility static analysis self-referential: To reliable programs, we must also programs our programs. But this no paradox. Static-analysis tools, complex though theory practice may be, are what will enable us, engineers future, overcome challenge yield knowledge that practitioners deserve.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Introduction to Speech Sciences (Acoustic Analysis of Speech)

Speech sciences deal with the acoustical characteristics of speech by means of sophisticated soft wares as well as hard wares. Although, a speech science is a well known science in the developed countries, especially the western societies, however, it has been remained almost unknown in Iran, though, in recent years a group of scholars have been involved in this branch of science. The applicati...

متن کامل

An Energy Based Adaptive Pushover Analysis for Nonlinear Static Procedures

Nonlinear static procedure (NSP) is a common technique to predict seismic demands on various building structures by subjecting a monotonically increasing horizontal loading (pushover) to the structure. Therefore, the pushover analysis is an important part of each NSP. Accordingly, the current paper aims at investigating the efficiencyof various algorithms of lateral load patterns applied to the...

متن کامل

“ Survival Analysis : An Introduction ”

There is considerable interest among economists in models of durations, which we often characterize as survival times preceding an event. These models originated for the most part in biostatistics and quality control where the “event” was relapse of an illness, death, or failure of a product component. In economics the event is sometimes more upbeat: ending a spell of unemployment by finding a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Queue

سال: 2021

ISSN: ['1542-7730', '1542-7749']

DOI: https://doi.org/10.1145/3487019.3487021